翻訳と辞書 Words near each other ・ Conor Kenny ・ Conor Knighton ・ Conor Kostick ・ Conor Laerenbergh ・ Conor Larkin ・ Conor Lehane ・ Conor Lenihan ・ Conor Lennon ・ Conor Lyne ・ Conor MacNeill ・ Conor Maguire ・ Conor Maloney ・ Conor Maynard ・ Conor McAleny ・ Conor McAnally ・ Conor McBride ・ Conor McCann ・ Conor McCarthy ・ Conor McCormack ・ Conor McCormack (footballer) ・ Conor Mccreedy ・ Conor McCullough ・ Conor McDonald ・ Conor McGinn ・ Conor McGrandles ・ Conor McGrath ・ Conor McGregor ・ Conor McKenna ・ Conor McLaughlin ・ Conor McManus Dictionary Lists mini英和辞書 mini和英辞書 Webster 1913 Latin-English FOLDOC Wikipedia English ウィキペディア

翻訳と辞書　辞書検索 [ 開発暫定版 ] スポンサード リンク Conor McBride ： ウィキペディア英語版 Conor McBride Conor McBride (born 1973) is a lecturer in the department of Computer and Information Sciences at the University of Strathclyde.〔(University of Strathclyde: Computer and Information Sciences: Staff: McBride, Conor Dr )〕 In 1999 he completed a PhD at Edinburgh University for his work in type theory.〔(Dependently Typed Functional Programs and their Proofs, by Conor McBride, University of Edinburgh, 1999 )〕 He previously worked at Durham University and briefly at Royal Holloway, University of London before joining the academic staff at the University of Strathclyde. ==Research== His most notable research is in the field of type theory.〔(Towards Observational Type Theory by Thorsten Altenkirch and Conor McBride )〕 He co-created the programming language Epigram with James McKinna.〔(The view from the left by Conor McBride and James McKinna, Journal of Functional Programming, Volume 14 Issue 1, January 2004, pp 69–111 )〕 Several of his articles, including the joint-written article defining the Epigram language, have been published in the Journal of Functional Programming.〔(Cambridge Journals Online: Journal of Functional Programming, Conor McBride )〕 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Conor McBride」の詳細全文を読む スポンサード リンク 翻訳と辞書 : 翻訳のためのインターネットリソース Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.